1. Theory of program structures
پدیدآورنده : / By Sheila Greibach,Greibach
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming,Recursive programming,Computer programs
رده :
QA
76
.
6
.
G743
1975
2. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic digital computers -- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
3. Theory of program structures : schemes, semantics, verification
پدیدآورنده : Greibach, Sheila
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Recursive programming,، Computer programs
رده :
QA
76
.
6
.
G743
1975
